منابع مشابه
A Typed Model for Dynamic Authorizations
Security requirements in distributed software systems are inherently dynamic. In the case of authorization policies, resources are meant to be accessed only by authorized parties, but the authorization to access a resource may be dynamically granted/yielded. We describe ongoing work on a model for specifying communication and dynamic authorization handling. We build upon the π-calculus so as to...
متن کاملA dynamic lattice model for heterogeneous materials
In this paper, the mechanical behavior of three-phase inhomogeneous materials is modeled using the meso-scale model with lattice beams for static and dynamic analyses. The Timoshenko beam theory is applied instead of the classical Euler-Bernoulli beam theory and the mechanical properties of lattice beam connection are derived based on the continuum medium using the non-local continuum theory. T...
متن کاملRecycling Authorizations: Toward Secondary and Approximate Authorizations Model (SAAM)
In large and complex enterprises, obtaining authorizations could be communicationally and/or computationally expensive, and, due to infrastructure failures, some times even impossible. This paper establishes the concept of recycling previously made authorizations for serving new authorization requests. It introduces secondary and approximate authorizations model (SAAM) with the semantics of mat...
متن کاملDynamic Reflection for a Statically Typed Language
We present a runtime metalevel interface for BETA. BETA is a compiled and statically typed object-oriented programming language. The metalevel interface preserves the type safe properties of the language and supports static type checking. This is achieved through a novel language construct, the attribute reference, on top of which the metalevel interface is built. The metalevel interface is bas...
متن کاملConceptual Foundations for a Model of Task-based Authorizations
ion and Composition One of the rst issues that arises is that of abstraction and modeling. What is the proper abstraction to specify and manage authorization functions and tasks. We propose the abstraction of an authorization-task-unit to model the authorizations associated with every authorization function. Such an authorization unit may be composed of other smaller units called called approva...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2016
ISSN: 2075-2180
DOI: 10.4204/eptcs.203.6